2

Mathematical Logic and Its Applications ||

Year:
1987
Language:
english
File:
PDF, 31.55 MB
english, 1987
3

An Impossible Difference Condition: 11074

Year:
2006
Language:
english
File:
PDF, 281 KB
english, 2006
4

11074

Year:
2004
File:
PDF, 97 KB
2004
5

11074

Year:
2004
Language:
english
File:
PDF, 97 KB
english, 2004
6

Some subrecursive versions of Grzegorczyk's Uniformity Theorem

Year:
2004
Language:
english
File:
PDF, 92 KB
english, 2004
7

On Van Gelder's loop detection algorithm

Year:
1992
Language:
english
File:
PDF, 159 KB
english, 1992
8

-computability of e, π and Other Famous Constants

Year:
2008
Language:
english
File:
PDF, 236 KB
english, 2008
9

Mathematical Logic and Its Applications || Modal Environment for Boolean Speculations

Year:
1988
Language:
english
File:
PDF, 1.57 MB
english, 1988
11

On Some Computability Notions for Real Functions

Year:
2013
File:
PDF, 146 KB
2013